2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Автор:
Ana Cavalcanti
Категория:
Компьютеры
Размер книги: 10.19 Mb
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)
Автор:
Karin Breitman
, Автор:
Ana Cavalcanti
Категория:
Техника
Размер книги: 13.82 Mb
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор:
Ana Cavalcanti
, Автор:
David Deharbe
, Автор:
Marie-Claude Gaudel
, Автор:
Jim Woodcock
Категория:
Компьютеры
Размер книги: 4.56 Mb
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures (Lecture Notes in Computer Science)
Автор:
Paulo Borba
, Автор:
Ana Cavalcanti
, Автор:
Augusto Sampaio
, Автор:
Jim Woodcook
Категория:
Компьютеры
Размер книги: 3.63 Mb
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Автор:
Ana Cavalcanti; Dennis Dams
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 10.19 Mb
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Автор:
K K Breitman; Ana Cavalcanti
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 13.88 Mb
Theoretical Aspects of Computing - ICTAC 2006, 3 conf
Автор:
Kamel Barkaoui
, Автор:
Ana Cavalcanti
, Автор:
Antonio Cerone
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.72 Mb
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Автор:
Ana Cavalcanti
, Автор:
Augusto Sampaio
, Автор:
Jim Woodcock
Размер книги: 3.00 Mb
